1. Compuer science logic: 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996: selected papers
Author: Dirk van Dalen, Marc Bezem )eds.(
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer logic - Congresses
Classification :
QA
76
.
9
.
L63
W67
1996


2. Computer science logic : 10th International Workshop, CSL'96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Author: Dirk van Dalen, Marc Bezem )Eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer logic
Classification :
QA
76
.
L28
Vol
.
1258


3. Computer science logic : 10th international workshop, CSL '95, Annual Conference of the EACSL, Utrecht, The Nutherlands, September 1996: selected papers
Author: / Dirk Van Dalen, Marc Bezem (eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
Classification :
QA75
,.
5
.
W62


4. Foundations of set theory
Author: Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levey. With the collaboration of Dirk van Dalen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics-- Philosophy.,Set theory.,Mathematics-- Philosophy.,Set theory.
Classification :
QA248
.
F753
1973


5. Logic Colloquium '78
Author: / edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon. -
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
9
,.
A1
,
L63
,
1978


6. Logic and Structure
Author: Dirk Van Dalen
Library: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
Subject: Logic, symbolic and mathematical

7. Logic and Structure
Author: / Dirk van Dalen
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject:

8. Logic and Structure
Author: / Dirk Van Dalen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic Circuits.,Logic Design.
Classification :
TK7888
,.
4
.
D
3


9. Logic and structur
Author: / Dirk van Dalen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical,Electronic books
Classification :
E-BOOK

10. Logic and structur
Author: / Dirk van Dalen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.
Classification :
QA9
,.
D16
,
1994


11. Logic and structure
پدیدآورنده : / Dirk van Dalen
موضوع :
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
12. Logic and structure
Author: Dalen, D. van )Dirk(
Library: Central library and information center (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
D16
1994


13. Logic and structure
Author: Dirk van Dalen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
D35
2013


14. Logic and structure
Author: Dalen, Dirk van, 2391-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
D25L6
1994


15. Logic and structure
Author: Dalen, Dirk Van
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
D16
1983


16. Logic and structure
Author: Dalen, Dirk van, 2391-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
D25L6
2004


17. Logic and structure
Author: / Dirk van Dalen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject:

18. Logic and structure
Author: Dirk van Dalen.
Library: Vali Asr University Central Library (Kerman)
Subject: mathematical logic
Classification :
QA
9
.
D3
,
L6


19. Logic and structure
Author: / Dirk van Dalen
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical.
Classification :
QA9
.
D16
1997


20. Logic and structure
Author: Dalen, Dirk van, 2391-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
D25L6
1983

